First-order logic - PDFSEARCH.IO - Document Search Engine

First-order logic
Results: 1172

#	Item
711	Living Ontologists - A Bibliographical Guide: M - Q Add to Reading List Source URL: www.ontologyafrica.com Language: English - Date: 2014-10-06 13:11:08 Predicate logic Non-classical logic Model theory Analytic philosophers Philosophers of mathematics Intensional logic First-order logic Mereology Interpretation Logic Philosophy Mathematical logic
712	Two Views of the Logic of Plurals and a Reduction of One to the Other Nino B. Cocchiarella Indiana University Abstract There are di¤erent views of the logic of plurals that are now in circulation, two of which we will c Add to Reading List Source URL: www.ontologysa.com Language: English - Date: 2013-05-04 01:19:54 Mathematics First-order logic Free logic Predicate Function Mereology Grammatical number Singular they Plural Logic Mathematical logic Predicate logic
713	Living Ontologists - A Bibliographical Guide: M - Q Add to Reading List Source URL: www.ontologyasia.com Language: English - Date: 2014-10-06 13:12:21 Predicate logic Non-classical logic Model theory Analytic philosophers Philosophers of mathematics Intensional logic First-order logic Mereology Interpretation Logic Philosophy Mathematical logic
714	SOME AXIOMS FOR CONSTRUCTIVE ANALYSIS JOAN RAND MOSCHOVAKIS AND GARYFALLIA VAFEIADOU Abstract. This note explores the common core of constructive, intuitionistic, recursive and classical analysis from an axiomatic standp Add to Reading List Source URL: www.math.ucla.edu Language: English - Date: 2011-06-07 15:01:39 Functions and mappings Computability theory Intuitionism Mathematical constructivism Logic in computer science Constructible universe Constructivism First-order logic Primitive recursive function Mathematical logic Mathematics Logic
715	Living Ontologists - A Bibliographical Guide: M - Q Add to Reading List Source URL: www.ontologysa.com Language: English - Date: 2014-10-06 13:13:00 Predicate logic Non-classical logic Model theory Analytic philosophers Philosophers of mathematics Intensional logic First-order logic Mereology Interpretation Logic Philosophy Mathematical logic
716	Living Ontologists - A Bibliographical Guide: M - Q Add to Reading List Source URL: www.ontologymirror.com Language: English - Date: 2014-10-06 13:14:37 Predicate logic Non-classical logic Model theory Analytic philosophers Philosophers of mathematics Intensional logic First-order logic Mereology Interpretation Logic Philosophy Mathematical logic
717	Number of Extensions of Non-Fregean Logics Joanna Goli´ nska Taneli Huuskonen Add to Reading List Source URL: www.helsinki.fi Language: English - Date: 2002-10-23 16:15:22 Model theory Metalogic Logical syntax Boolean algebra Interpretation Entailment First-order logic Constructible universe Axiom Logic Mathematical logic Propositional calculus
718	METAPHYSICA 2005_1 (2).pdf Add to Reading List Source URL: metaphysica.de Language: English - Date: 2006-02-07 07:39:20 Metaphysics Property Predicate Universal Term logic First-order logic Proposition Substance theory Categories Logic Ontology Philosophy
719	GETTING STARTED WITH PURESCRIPT Michael Ficarra Add to Reading List Source URL: speakerd.s3.amazonaws.com Language: English - Date: 2015-02-04 12:33:06 Theoretical computer science Universal quantification FO Map Lambda calculus Functional predicate First-order logic Mathematical logic Logic Quantification
720	Comirit: Commonsense Reasoning by Integrating Simulation and Logic Benjamin JOHNSTON and Mary-Anne WILLIAMS Faculty of Information Technology, University of Technology, Sydney, Australia Abstract. Rich computer simulatio Add to Reading List Source URL: comirit.com Language: English - Date: 2012-04-27 22:26:08 Reasoning Automated theorem proving Artificial intelligence Non-classical logic Knowledge representation Method of analytic tableaux Reasoning system Semantic reasoner First-order logic Logic Mathematical logic Science

UPDATE